$\forall$$A$:Type, $l$:$A$ List, $x$:$A$. ($x$.$l$) $\in$ $A$ List$^{+}$